Admissible Domain Representations of Topological Spaces
نویسنده
چکیده
In this paper we consider admissible domain representations of topological spaces. A domain representation D of a space X is λ-admissible if, in principle, all other λ-based domain representations E of X can be reduced to D via a continuous function from E to D. We present a characterisation theorem of when a topological space has a λ-admissible and κ-based domain representation. We also prove that there is a natural cartesian closed category of countably based and countably admissible domain representations. These results are generalisations of [Sch02].
منابع مشابه
Admissible domain representations of inductive limit spaces
In this paper we consider the following separate but related questions: “How do we construct an effective admissible domain representation of a space X from a pseudobasis on X?”, and “How do we construct an effective admissible domain representation of the inductive limit of a directed system (Xi)i∈I of topological spaces, given effective admissible domain representations of the individual spac...
متن کاملΣ 0 α - Admissible Representations ( Extended Abstract )
We investigate a hierarchy of representations of topological spaces by measurable functions that extends the traditional notion of admissible representations common to computable analysis. Specific instances of these representations already occur in the literature (for example, the naive Cauchy representation of the reals and the “jump” of a representation), and have been used in investigating ...
متن کاملTwo preservation results for countable products of sequential spaces
In the theory of Type Two Effectivity (Weihrauch 2000), computation on non-discrete spaces is performed by type two Turing machines, which compute with infinite words acting as names for elements of spaces. The connection between names and their associated elements is specified by a many-to-one relation called a representation. Such representations induce a topology on the named elements, namel...
متن کاملdominating subset and representation graph on topological spaces
Let a topological space. An intersection graph on a topological space , which denoted by , is an undirected graph which whose vertices are open subsets of and two vertices are adjacent if the intersection of them are nonempty. In this paper, the relation between topological properties of and graph properties of are investigated. Also some classifications and representations for the graph ...
متن کاملDomain Representations of Topological Spaces (extended Abstract)
A domain representation of a topological space X is a function usually a quotient map from a subset of a domain onto X Several di erent classes of domain representations are introduced and studied It is investigated when it is possible to build domain representations from existing ones It is for example discussed whether there exists a natural way to build a domain representation of a product o...
متن کامل